formula and proof